This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures.

Vediĭskoe posvi︠a︡shchenie : ot arkhaicheskoĭ ritualʹnoĭ ĭogi do ĭogi "chistogo opyta" -- Kulʹturoobrazui︠u︡shchie sily i pervye dukhovnye t︠s︡entry t︠s︡ivilizovannogo Drevnego mira -- Zony kont︠s︡entrat︠s︡ii kulʹturnoĭ aktivnosti indoevropeĭt︠s︡ev v ėpokhu drevneĭshikh t︠s︡ivilizat︠s︡iĭ -- Tri modusa antichnogo posvi︠a︡shchenii︠a︡ -- Aksiomy posvi︠a︡shchenii︠a︡.

The annual Kronos Philosophical Journal was established in Warsaw in 2012. The papers presented in the annual might be of interest to the readers from outside Poland, allowing them to familiarize themselves with the dynamic thought of contemporary Polish authors, as well as entirely new topics, rarely discussed by English speaking authors. Volume V/2016 comprises articles problematizing Russian phlosophy and literature as well as Ancient Greek philosophy and culture.

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

The article examines the social dimensions of poverty in the context of gender, dalit, tribal and Muslim minorities in the country. Reviewing the process of globalisation in the country, it notes that the largest section of workers continue to work in the unorganised sector. The shifting of global capital to the South and particularly to India has increased opportunities for women to work in the garment export industry. Characterised by low pay and poor working conditions, the industry exploits women. The (...) fear of job loss has led to new forms of resistance by women workers not only at the workplace but within the community linking with social movements for protection and advancement. Small and marginal farmers including women agricultural workers are impacted by global markets leading to destruction of rural livelihoods. Dalit women have demonstrated how to create household food security by internalising inputs and creating alternative markets. Policy planners need to learn from these experiences and upscale at a national level. Regenerating commons and promoting non-chemical agriculture are other means to restore ecological balance and economic health of the agriculture sector. Tribal, dalit and Muslim minority socio-economic rights are eroded further due to the process of globalisation. To move towards more inclusive growth, public spending on education and health has to increase. Responding to people's movements the state needs to implement pro-people policies and programmes. Mobilising women into SHGs is seen as a panacea to ensure women's development. Currently, it has created a debt burden on women. An alternative agenda for empowerment is outlined for action. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

In the article the problem of transformation of the information received by the user on the Internet into his knowledge is investigated. The paper uses the main special scientific and logical research methods used in the social and humanitarian sciences. At the same time, the methods of systematic and value-worldview analysis of the phenomena of the spiritual world of a person are distinguished by the degree of significance, which allow us to study the problem of the dialectic of knowledge and (...) information on the Internet not in isolation, but in connection with the main phenomena of the spiritual life of people, taking into account the priority of value-worldview structures. The goal of the work is to find a priority factor that provides a higher degree of accuracy in the transformation of information from the Internet into human knowledge. It is shown that the nature of the world wide web to a certain extent complicates the process of translating information coming to a person into his knowledge. It is concluded that the condition for the transformation of information received by the user on the Internet is the cognitive activity of a person, due primarily to the development of its value and ideological sphere. If the cognizing person has sufficiently developed and stable value – ideological foundations of personality, he successfully realizes himself as a developing subject, an active participant in knowledge. On the contrary, insufficiently stable value-worldview sphere can lead to passive perception of information by the individual, adaptation to reality, simplification of personality. Information from the Internet in the most adequate form is transformed into a person’s knowledge on the basis of his own cognitive activity, in the presence of intellectual and volitional capabilities for verifying the information available on the Network. (shrink)